Constant folding for (.&.) is lacking
The following example isn't simplified (and similarly for other fixed numeric types):
w8 :: Word8 -> Word8 w8 x = x .&. 0xFF
I already have the patch. Opening a ticket to get a ticket number.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information