(b -> a (c,d)) -> [b] -> a ([c],[d]) |

(b -> a Bool) -> [b] -> a [b] |

(b -> c -> a b) -> b -> [c] -> a b |

(b -> c -> a d) -> [b] -> [c] -> a () |

(b -> c -> a d) -> [b] -> [c] -> a [d] |

(b -> c -> d -> e -> f -> g) -> a b -> a c -> a d -> a e -> a f -> a g |

(b -> c -> d -> e -> f) -> a b -> a c -> a d -> a e -> a f |

(b -> c -> d -> e) -> a b -> a c -> a d -> a e |

(b -> c -> d) -> a b -> a c -> a d |

(b -> c) -> a b -> a c |

[a b] -> a b |

a (a b) -> a b |

a (b -> c) -> a b -> a c |

Bool -> a () |

Bool -> a () -> a () |