-
John van Groningen authored
fix checking of kind * for type synonyms, check if * occurs on the left of an algebraic type definition if * is used in a constructor (for all constructors, not just the first one)
868c279c
fix checking of kind * for type synonyms, check if * occurs on the left of an algebraic type definition if * is used in a constructor (for all constructors, not just the first one)