1 2 3 4 5 6 7 8 9 10 11
-- inspired by comment:25 on #12708 {-# LANGUAGE PolyKinds #-} module LevPolyBounded where import GHC.Exts class XBounded (a :: TYPE r) where minBound :: a maxBound :: a