MVC

Controllers

data Controller a

asInput

keeps

Views

data View a

asSink

asFold

handles

Models

data Model s a b

asPipe

MVC

runMVC

Managed resources

data Managed a

managed

ListT

loop

Re-exports