external myShadyConversion: myType1 => myType2 = "%identity"
This type constructor, `myType1`, can't be found. If you wanted to write a recursive type, don't forget the `rec` in `type rec`
