...
started working on adt + monad