Clarify Haskell interface naming rules
Sprinkeld some Maybe around the place.

Doubt is what makes the world go round.