blob: 101bae825a422ef50c59422f0a2b6b469b773523 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
-- inspired by comment:25 on #12708
{-# LANGUAGE PolyKinds, StandaloneKindSignatures #-}
module LevPolyBounded where
import Data.Kind
import GHC.Exts
type XBounded :: TYPE r -> Constraint
class XBounded a where
minBound :: a
maxBound :: a
|