if use and allocate can be implemented in Bracket ...

# arrow-contributors

[raulraja]

if use and allocate can be implemented in Bracket there is no need for the data type as the extension functions will be projected over all instances including IO