free monadのfreeってどういう意味？
自由とか解放とか、鉛フリーとかのフリー？
monad以外にも何とかフリーってあるの？