hindent-4.5.5: test/gibiansky/expected/46.exp

type X = '[]

type X = '[Int]

type X = '[Int, String]

a :: (A ∈ B w) => IO w