1 2 3 4
T18251d.hs:6:1: error: Parse error in pattern: f @a Type applications in patterns are only allowed on data constructors.