unbound :: a -> b
unbound _ = 1

[1 of 1] Compiling Main             ( D:\_workbench\lyah\typefu.hs, interpreted )

D:\_workbench\lyah\typefu.hs:2:13:
    No instance for (Num b)
      arising from the literal `1'
    In the expression: 1
    In an equation for `unbound': unbound _ = 1
Failed, modules loaded: none.