At the moment ExtractHaskellType only lets you give the new datatype a type constructor name with no type parameters.
It would be nice to add this functionality, similar to ExtractHaskellFunction, so that we can do:
:ExtractHaskellType <name> <type params>
At the moment
ExtractHaskellTypeonly lets you give the new datatype a type constructor name with no type parameters.It would be nice to add this functionality, similar to
ExtractHaskellFunction, so that we can do: