
    A QuasiQuoter for SimplyTyped.

    @[stlc| A -> B -> C |] == mono \"A\" \/-> mono \"B\" \/-> mono \"C\"@

    @[stlc| (A -> B) -> B |] == (mono \"A\" \/-> mono \"B\") \/-> mono \"B\"@
-}
stlc :: TH.QuasiQuoter
stlc = mkqq "stlc" stlcexpr

{
stlc :: TH.QuasiQuoter
stlc = mkqq "stlc" stlcexpr
stlc = mkqq "stlc" stlcexpr