*Anonymous Coward*
2018-03-05 08:05:54.857044 UTC

1 | |

2 | |

3 | |

4 | |

5 | |

6 | Prelude Crypto.PubKey.ECIES Crypto.ECC Crypto.PubKey.ECC.Types> curve = Curve_X448 :: (proxy curve) |

7 | |

8 | <interactive>:82:9: error: |

9 | • Couldn't match expected type ‘proxy1 curve1’ |

10 | with actual type ‘Curve_X448’ |

11 | • In the expression: Curve_X448 :: (proxy curve) |

12 | In an equation for ‘curve’: curve = Curve_X448 :: (proxy curve) |

13 | Prelude Crypto.PubKey.ECIES Crypto.ECC Crypto.PubKey.ECC.Types> |

14 | |

15 | |

16 | |

17 | |

18 | |

19 | |

20 | |

21 | |

22 | |

23 | |

24 | |

25 | |

26 |