1 2 3 4 5 6
RepPolyNPlusK.hs:22:1: error: The first pattern in the equation for ‘foo’ does not have a fixed runtime representation. Its type is: a :: TYPE rep1