summaryrefslogtreecommitdiff
path: root/tests/examples/ghc710/OveridingPrimitives.hs
blob: dd9ddb0e6d07f3e3f5223eb4f2d7b3f89a8207ef (plain)
1
2
3
4
5
6
7
{-# LANGUAGE DataKinds              #-}
{-# LANGUAGE TypeOperators          #-}

(~#) :: Comonad w => CascadeW w (t ': ts) -> w t -> Last (t ': ts)
(~#) = cascadeW
infixr 0 ~#