toTypeFunction :: T.Canonical -> Expression ()
toTypeFunction tipe =
    function ["v"] [ ReturnStmt () (Just (toType tipe (ref "v"))) ]
toTypeFunction :: T.Canonical -> Expression ()
toTypeFunction tipe =
    function ["v"] [ ReturnStmt () (Just (toType tipe (ref "v"))) ]
toTypeFunction tipe =
    function ["v"] [ ReturnStmt () (Just (toType tipe (ref "v"))) ]