reg055.idr:5:3:When elaborating left hand side of g:
Can't match on g (f 0)
reg055.idr:8:3:When elaborating left hand side of h:
Can't match on h x x
reg055a.idr:8:5:When elaborating left hand side of foo:
When elaborating an application of constructor Foo.CAny:
        Attempting concrete match on polymorphic argument: Nothing
reg055a.idr:13:7:When elaborating left hand side of Foo.apply:
Can't match on apply (\x => \y => x) a