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