動的言語ではObjectをうまく活用することで型クラスのように振る舞わせることができる

type-classes.rb

module Monad
  def return!(a); end
  def bind(m,k); end
  def join(m,k); (bind m,->(_){k}); end
end

module MonadPlus; include Monad
  def mzero; end

  def guard(cond); cond ? (return! nil) : mzero; end
end

class List; include Monad, MonadPlus
  def return!(a); [a]; end
  def bind(m,k); m.map(&k).flatten(1); end
  def mzero; []; end
end

p List.new.guard(true) # [nil] = return nil
p List.new.guard(false) # [] = mzero