:: a -> Maybe a -> a package:type-hint

Hint the type system about the type.