@@ -126,11 +126,7 @@ parseNameAndType :: TokenParser t -> TokenParser (String, t)
126126parseNameAndType p = (,) <$> (indented *> (lname <|> stringLiteral) <* indented <* doubleColon) <*> p
127127
128128parseRowEnding :: TokenParser Type
129−parseRowEnding = P.option REmpty $ indented *> pipe *> indented *> P.choice (map P.try
130− [ parseTypeWildcard
131− , TypeVar <$> identifier
132− , parseTypeConstructor
133− , parens parseRow ])
129+parseRowEnding = P.option REmpty $ indented *> pipe *> indented *> parseType
134130
135131parseRow :: TokenParser Type
136132parseRow = (curry rowFromList <$> commaSep (parseNameAndType parsePolyType) <*> parseRowEnding) P.<?> "row"