needed to declare type of monadic result