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