{-# LANGUAGE RecordWildCards #-}

module Sample where

test xs = length xs == 0