data Success a = MkSuccess a
data Error a = MkError a
data Profile a = MkProfile a

record State where
  constructor MkState
  id : Nat



Traveling can suck.
Clients may be too set in their ways.
Sometimes it's hard to have a life.

Nothing too bad, but they did get nervous.

University Program is good.

Culture dillution?


