module Utils ( invalid ) where invalid :: a invalid = error "invalid program state"