added instances signatures
misty instances for list, maybe and function monad