tcfail013.hs:4: Couldn't match the type `[taBB]' against `PrelBase.Bool' Expected: `[taBB] -> taBD' Inferred: `PrelBase.Bool -> taBG' In an equation for function `f': `f PrelBase.True = 2' Compilation had errors