Suggestion in eraseClockSN in module FRP.Rhine.Reactimation.ClockErasure: Redundant bracket ▫︎ Found: "SN m cl a b -> (Automaton m (Time cl, Tag cl, Maybe a) (Maybe b))" ▫︎ Perhaps: "SN m cl a b -> Automaton m (Time cl, Tag cl, Maybe a) (Maybe b)"