MAlonzo.Code.Agda.Builtin.List
type T_List_10 a0 = List #
d_List_10 :: p -> p -> () #
pattern C_'91''93'_16 :: [a] #
pattern C__'8759'__22 :: a -> [a] -> [a] #