module
Effectful.Zoo.Core.Prim
(
type
(<:)
)
where
import
Effectful
(
(:>)
)
type
(<:)
r
e
=
(:>)
e
r