T12064.hs 111 Bytes
Newer Older
1 2 3 4
{-# LANGUAGE ExistentialQuantification #-}
module T12064 where
import T12064a
data D = forall n. K n => DCon n