tcfail012.hs:3: Couldn't match the type
		    `PrelBase.Bool' against `[t{-amB-}]'
    Expected: `PrelBase.Bool'
    Inferred: `[t{-amB-}]'
    In a pattern binding:
	`PrelBase.True'
	    =   `PrelBase.[]'


Compilation had errors