tcfail013.hs:4: Couldn't match the type
		    `[t{-aHg-}]' against `PrelBase.Bool'
    Expected: `[t{-aHg-}] -> t{-aHi-}'
    Inferred: `PrelBase.Bool -> t{-aHl-}'
    In an equation for function `f':
	`f PrelBase.True
		   =   2'


Compilation had errors