tcfail013.hs:4:
    Couldn't match the type `[aMB]' against `Bool'
    Expected: Bool
    Inferred: [aMB]
    In an equation for function `f': f True = 2


Compilation had errors