MVC

Controllers

data Controller a

asInput

keeps

Views

data View a

asSink

asFold

handles

Models

type Model

data ModelM m s a b

asPipe

MVC

runMVC

generalizeMVC

Managed resources

data Managed a

managed

ListT

loop

Re-exports