from StdOverloaded import class toString
:: SemError
= ParseError Pos String
| UnifyError Pos Type Type
| FieldSelectorError Pos Type FieldSelector
from StdOverloaded import class toString
:: SemError
= ParseError Pos String
| UnifyError Pos Type Type
| FieldSelectorError Pos Type FieldSelector