Module Check.AST.Pattern.EqualsEmptyList

checkEqualsEmptyList :: Expression a -> Int -> State CheckState ()   

checkInfix :: Expression a -> State CheckState ()   

checkApply :: Expression a -> State CheckState ()