Xác định TH trường Lift với nhiều loại dữ liệu đại số

Question

Giả sử tôi có một kiểu dữ liệu đại số với nhiều nhà thầu, như

data Animal a = Mouse a | Beaver a | Rabbit a 

Làm thế nào tôi sẽ tạo ra một trường hợp Lift một cách hiệu quả? Cách dễ nhất để làm như vậy là

instance (Lift a) => Lift (Animal a) where 
     lift (Mouse x) = [| Mouse x |] 
     lift (Beaver x) = [| Beaver x |] 
     lift (Rabbit x) = [| Rabbit x |] 

Điều này là rất thừa. Tất nhiên tôi không thể trực tiếp tóm tắt các loài động vật khác nhau như lift x = [| x |], mặc dù khái niệm đó là tương tự như những gì tôi muốn đạt được. Có cách nào để làm điều này trong TH để tôi không phải viết cùng một dòng một lần nữa cho mỗi nhà xây dựng dữ liệu?

Answer 1

Đây là mục đích của gói thang máy, cung cấp chính xác chức năng này: http://hackage.haskell.org/package/th-lift