Tests for monadic properties.
Accepts head/tail for init (Fixes #2)