{-# LANGUAGE PatternGuards, ViewPatterns #-}