モナド則を満たすものがやっとできた。 定義 interface Function<T, R> { public R eval(T arg); } abstract class Monad<T, M> { public abstract <R extends M> R bind(Function<T, R> func); } abstract class Maybe<T> extends Monad<T, Maybe<?>> { public static <T> Maybe<T> unit(T value) { return new J</t></t></t,></t></t,></r></t,></t,>…