module T10196Fail2 where

-- Variables are not allowed to start with a modifier letter.
ᵦ = 1