Renamed `mapFoldable` to `bind` and `concat` to `join`
Fixed types to accept concrete inputs
Updated documentation
Added 'read' utility
Updated documentation