SecLib.SecIO

SecIO monad

data SecIO l a

Lifting pure values

toSecIO

Execution

run

Composition

plug