Hyperfunctions

https://hackage.haskell.org/package/hyperfunctions

newtype Hyper a b = Hyper (Hyper b a -> b)

これにはReaderモナドの類似物 Monad (Hyper a) がある。

pure :: b -> Hyper a b
join :: Hyper a (Hyper a b) -> Hyper a b

では、Contモナドの類似物

pureC :: a -> Hyper (Hyper a r) r
joinC :: Hyper (Hyper (Hyper (Hyper a r) r) r) r -> Hyper (Hyper a r) r

は定義できるだろうか？