Add function specs to Maybe module