Type Errors
[E] Line 1, column 28:
This type constructor, `myType1`, can't be found.
  If you wanted to write a recursive type, don't forget the `rec` in `type rec`