Tag Archives: recursive type

(Haskell) Recursive type representation in type level

Posted in Haskell | Also tagged , , , , | Leave a comment