"Just" isn't a type constructor