Prelude.Type.Value

data T a

type Proxy

proxy

Values and Main

class Value a t

type Main

class Main'' a b

class Main' m a