(Maybe Int) :: *