IdrisDoc
: Effect.Default
Index
Effect.Default
interface
Default
default
:
Default
a
=>
a