-- This error never occurs.
module ShouldBeASort where

err = ShouldBeASort-Never-Occurs