IdrisDoc
: Control.Monad.Identity
Index
Control.Monad.Identity
Id
:
(
runIdentity
:
a
) ->
Identity
a