Feldspar.Core.Constructs.Loop

data LoopM m a

data Loop a