Tag Archives: level

(Haskell) Recursive type representation in type level

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