:: Maybe a -> a package:srtree