Data.Microgroove.Test

Documentation

a :: Rec [] '[Int, Char, String, [Double]]

aa :: Rec [] '[Char]

head' :: Rec f (x ': xs) -> f x

head_ :: Rec f (x ': xs) -> f x

pattern RCons# :: forall u u1 (f :: u -> *) (us :: [u]) a (f1 :: u1 -> *) (us1 :: [u1]). a -> Rec u1 f1 us1 -> Rec u f us