hindent-4.5.5: test/gibiansky/tests/46.test

type X = '[]

type X = '[Int]

type X = '[Int, String]

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