Fix parser
Type families, take 1