pub hkt Monad[T<A>] {
    fn <B> map(m: fn (from: A) => B): T<B>
    fn <B> flat_map(m: fn (from: A) => T<B>): T<B>
}