{-# 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 ⊸ b

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

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