module Other where

import NoteDef

bar :: Int
bar = 4 -- See @Note [Multiple notes in comment]@ in NoteDef