data N :: * -> * -> * where N_A :: Int -> [u] -> N A u N_B :: Int -> [u] -> N B u
[ Home | Post Entry | Log in | Search | Browse Options | Site Map ]
no subject