я скорее про что-то вроде:
instance Applicative f => Embed Identity f

хотя такое проще будет руками написать

а потом кто-то захочет Float с Double складывать. здесь так не принято

Как я понимаю, не приняты произвольные конверсии. Но если совместимость описанна в виде констрейнта - то все ок, разве нет?

да там столько тайп аннотаций потребуется, что ничем не будет отличаться от просто явной конверсии

всё можно описать в виде конверсий, но я хотел сказать, что в Хаскеле лучше некоторые вещи оставлять явными, не делать типы слишком гибкими. но граница субъективна

ну, должен сказать, что в js тоже все конверсии указаны в спеке, и довольно формально указаны, но люди со стороны все равно горят про 1 + "2"

всегда нужно будет выбрать какие-то дефолты, и всегда люди будут гореть с этих дефолтов

поэтому многие считают, что разумно вообще не делать таких вещей, и пусть все явно все конвертируют, то есть все страдают, а не только те, кто не доволен дефолтами, но зато не нужно изучать дефолты

да, я как сделал - понял, почему так никто не делает. С добавлением Embed типы, без явных аннотаций, перестали выводиться. Поэтому, вместо того чтобы создавать значение в fromVal :: o -> MyTy Identity i o и потом его приводить к m c помощью Embed Identity m во время композиции, поменял на fromVal :: Applicative m => o -> MyTy m i o, который сам уже унифицируется с нужным m

А как можно сделать так чтобы дабл  с инт использовать?

Int2Double

1. тут solve зря в монаде, просто что никаких эффектов не делается

из GHC.Double вроде

прямо в prelude

Там по дефолту так стояло

ну или так🤔

где?