Portability | non-portable (class-associated types) |
---|---|

Stability | experimental |

Maintainer | Edward Kmett <ekmett@gmail.com> |

# Documentation

class Functor f => Representable f x whereSource

Representable Identity () | |

Representable Both Bool | |

Representable (EitherF a b) (Either a b) |