type A = Int

type B = Bool

type A = [Bool]