[ exact-split ] Changed position of a {-# CATCHALL #-}

See Agda Issue 1379.