ormolu-0.2.0.0: data/examples/other/linear-arrows-out.hs

{-# LANGUAGE LinearTypes #-}
{-# LANGUAGE UnicodeSyntax #-}

type a % b = (a, b)

type Foo a m b = a % m -> b

type Bar a m b = a %m -> b

type Baz = a %1 -> b

type M =
  a %1 ->
  b %m ->
  c %1 ->
  d

test ::
  a %1 ->
  b %1 ->
  c %m ->
  d
test = test