type related to option declaring features not requiring an instance of option
return functionredefines monads.return:return function