On Sat, Aug 30, 2014, at 02:32 AM, Julius Gedvilas wrote:

3. Is it? GHCi does not recognize it.

Prelude> :t \0 -> 1

\0 -> 1 :: (Num a1, Num a, Eq a) => a -> a1